• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
تعداد ۳۶ پاسخ غیر تکراری از ۳۶ پاسخ تکراری در مدت زمان ۰,۵۰ ثانیه یافت شد.

1. Advanced mathematical & computational tools in metrology VII /

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: editors, P. Ciarlini [and others].

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Measurement, Congresses.,Physical measurements, Congresses.,MATHEMATICS-- Measurement.,Measurement.,Physical measurements.,TECHNOLOGY & ENGINEERING-- Measurement.

Classification :
QA465
.
A273
2006eb

2. Advances in computer science and information technology :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Natarajan Meghanathan, Nabendu Chaki, Dhinaharan Nagamalai.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer science -- Congresses.,Computer science.,Information technology -- Congresses.

Classification :

3. Algorithms and complexity in mathematics, epistemology, and science :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: editors, Ncolas Fillion, Robert M. Corless and Ilias S. Kotsireas.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Algorithms, Congresses.,Complexity (Philosophy), Congresses.,Mathematics, Congresses.,Science-- Mathematics, Congresses.,Technological complexity, Congresses.,Algorithms.,Complexity (Philosophy),MATHEMATICS-- Numerical Analysis.,Mathematics.,Science-- Mathematics.,Technological complexity.

Classification :
QA9
.
58

4. Algorithms and data structures :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Selim G. Akl [and others] (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer science.,Computer software.,Data structures (Computer science) -- Congresses.

Classification :

5. Applied reconfigurable computing : architectures, tools, and applications :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Nikolaos Voros, Michael Huebner, Georgios Keramidas, Diana Goehringer, Christos Antonopoulos, Pedro C. Diniz.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Adaptive computing systems, Congresses.,Computer architecture, Congresses.,Adaptive computing systems.,Artificial intelligence.,Computer architecture.,Computer hardware.,Computer networking & communications.,Computers-- Computer Graphics.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Image processing.,Software Engineering.

Classification :
QA76
.
9
.
A3

6. Architecting critical systems

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Holger Giese (ed.

Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

Subject: Fault-tolerant computing, Congresses,Computer architecture, Congresses,System design, Congresses,Software engineering, Congresses

Classification :
QA76
.
9
.
F38I83
2010

7. Cognitive Informatics and Soft Computing :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Pradeep Kumar Mallick, Valentina Emilia Balas, Akash Kumar Bhoi, Ahmed F. Zobaa, editors.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computational intelligence, Congresses.,Soft computing, Congresses.,Computational intelligence.,COMPUTERS-- General.,Soft computing.

Classification :
Q342

8. Computer Aided Verification :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Isil Dillig, Serdar Tasiran (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.

Classification :
QA76
.
758
.
C38
2019

9. Computer and information science

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Roger Lee

Library: Library of College of Science University of Tehran (Tehran)

Subject: Computer science, -- کنگره‌ها, -- Congresses,a03

Classification :
QA75
.
5

10. Current trends in web engineering :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Cesare Pautasso, Fernando Sánchez-Figueroa, Kari Systä, Juan Manuel Murillo Rodríguez (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Software engineering, Congresses.,Web services, Congresses.,World Wide Web, Congresses.,Software engineering.,Web services.,World Wide Web.

Classification :
TK5105
.
888

11. Electronic voting :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Robert Krimmer, Melanie Volkamer, Véronique Cortier, Rajeev Goré, Manik Hapsara, Uwe Serdült, David Duenas-Cid (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Electronic voting, Congresses.,Computer networking & communications.,Computer security.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Security-- General.,Computers-- Social Aspects-- General.,Computers-- Software Development & Engineering-- General.,Data encryption.,Electronic voting.,Ethical & social aspects of IT.,Public administration.,Software Engineering.

Classification :
JF1032

12. Enterprise information systems :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Joaquim Filipe, José Cordeiro (Eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Management information systems, Congresses.,Affaires.,Economie de l'entreprise.,Management information systems.,Science économique.

Classification :
T58
.
6
.
I58
2009

13. Formal methods :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Tiago Massoni, Mohammad Reza Mousavi (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Formal methods (Computer science), Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.

Classification :
QA76
.
9
.
F67

14. Formal techniques for distributed objects, components, and systems :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Jorge A. Pérez, Nobuko Yoshida (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer network protocols, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Formal methods (Computer science), Congresses.,Computer network protocols.,Electronic data processing-- Distributed processing.,Formal methods (Computer science)

Classification :
QA76
.
9
.
D5
.
F67
2019

15. Foundations of software science and computation structures

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Jerzy Tiuryn (ed.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer software, Congresses.,System analysis, Congresses.

Classification :

16. Innovative security solutions for information technology and communications :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Jean-Louis Lanet, Cristian Toma (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer networks-- Security measures, Congresses.,Computer security, Congresses.,Information technology-- Security measures, Congresses.,Computer networks-- Security measures.,Computer security.,Information technology-- Security measures.

Classification :
QA76
.
9
.
A25

17. Language and automata theory and applications :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.

Classification :
QA267
.
L38
2018

18. Model and data engineering :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer architecture, Congresses.,Database management, Congresses.,Knowledge management, Congresses.,Artificial Intelligence.,Information Systems Applications (incl. Internet).,Mathematical Logic and Formal Languages.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Software Engineering.,Artificial intelligence.,Computer architecture.,Computer programming / software development.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Database management.,Information retrieval.,Knowledge management.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.

Classification :
QA76
.
9
.
D3

19. Model checking and artificial intelligence :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Ron van der Meyden, Jan-Georg Smaus (editions.)

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Artificial intelligence, Congresses,Computer software-- Verification, Congresses,Computer systems-- Verification, Congresses

Classification :
QA76
.
76
.
V47
M63
2011

20. Multi-agent systems :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Marija Slavkovik (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Multiagent systems, Congresses.,Multiagent systems.

Classification :
QA76
.
76
.
I58
  • »
  • 2
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival